cr{-}explanation\{i:l\}(${\it es}$; ${\it Sys}$; $f$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}prior{-}fixedpoints\{i:l\}(${\it es}$; ${\it Sys}$; $f$; $e$)